Wahrheitswert — Wahrheitswert, formale Logik: Wert einer Wahrheitsfunktion. Die Menge der Wahrheitswerte enthält in der zweiwertigen Aussagenlogik genau die beiden semantischen Prädikatoren »wahr« und »falsch«, in der dreiwertigen Logik von J. Łukasiewicz… … Universal-Lexikon
Wahrheitswert — Ein Wahrheitswert (logischer Wert) gibt in der Logik den Grad der Wahrheit eines Satzes an. Gibt es in einem logischen System mehr als zwei Wahrheitswerte, spricht man oft lieber von Quasiwahrheitswerten, Pseudowahrheitswerten oder Geltungswerten … Deutsch Wikipedia
Dreiwertige Logik — Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird. Dies bedeutet,… … Deutsch Wikipedia
Ausdruck (Logik) — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… … Deutsch Wikipedia
Logische Aussage — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… … Deutsch Wikipedia
Logischer Ausdruck — Eine Aussage im aristotelischen Sinn ist ein sprachliches Gebilde, von dem es sinnvoll ist zu fragen, ob es wahr oder falsch ist (so genanntes Aristotelisches Zweiwertigkeitsprinzip). Es ist nicht erforderlich, sagen zu können, ob das Gebilde… … Deutsch Wikipedia
Mehrweritge Logiken — Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit… … Deutsch Wikipedia
Mehrwertige Logik — ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit… … Deutsch Wikipedia
Prädikatenlogik — oder Quantorenlogik ist eine Familie logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund … Deutsch Wikipedia
Vierwertige Logik — Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit… … Deutsch Wikipedia